locally finite category

局部有限范畴